Nuprl Definition : ratio-dist
11,40
postcript
pdf
|
a
/
b
-
p
/
q
| < 1/
m
== (
m
* |(
a
*
q
) - (
p
*
b
)|) < (
b
*
q
)
latex
Definitions
a
<
b
,
|
i
|
,
n
-
m
,
n
*
m
FDL editor aliases
ratio-dist
origin